|Title of the article||
MODELS OF EVENT NONDETERMINISTIC AUTOMATA FOR REPRESENTATION OF CONTROL
Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, president of Penza State University
The aim of the paper is to develop the methodology of formal description of the control algorithm for interacting parallel processes during the exchange of messages between them that includes the use of the monitor, the ring buffer and the "producers-consumers” sample task. The study is based on the method of event nondeterministic automata (ENDA), which allows to express the control algorithm in a simple and compact form as a quantifier-free system of recurrent canonical equations (SRCE describes all private events that have been implemented in the control system). A distinctive feature of the method ENDA is that the system (SRCE), which represents the transition function in the control algorithm is not described in terms of states of deterministic automata (DA), and in terms of private events NDA, the simultaneous existence of which determines the status of an equivalent DA. Since the number of ENDA private events is much smaller than the number of states of DA equivalent to it, then the description of the control algorithm in the language of ENDA will be significantly easier. The presented method of the formal description of the private events control algorithm in distributed messagepassing multiprocessor system, and the language of the ENDA provides realization of the basic properties necessary for the control system: absence of deadlocks (lack of conflicts) and justice (no endless waiting and searching in the monitor for the processes accessing the shared resource). Analytical representation of the control algorithm by the interacting parallel processes as a system of SRCE allows to perform a simple transformation of the description of the control algorithm for hardware description languages (e. g., VHDL) to verify the algorithm and its hardware
control algorithm, interacting parallel processes, event nondeterministic automata, «producers-consumers» task, monitor mechanisms.
1. Deytel G. Vvedenie v operatsionnye sistemy : v 2-kh t. [Introduction into operative systems: in 2 vol.]. Moscow: Mir, 1987, vol. 1, 359 p.
Дата обновления: 28.08.2014 10:52